$\forall$$T$:Type, $l_{1}$,$l_{2}$:($T$ List), $x$:$T$. iseg($T$; $l_{1}$; $l_{2}$) $\Rightarrow$ ($x$ $\in$ $l_{1}$) $\Rightarrow$ ($x$ $\in$ $l_{2}$)